ruled space

格线空间